analyze -vhdl /chalmers/users/dhapar/hdv_ex1/trunk/PSL/counter_for_psl.vhd
analyze -vhdl -psl /chalmers/users/dhapar/hdv_ex1/trunk/PSL/generic_counter_properties.psl

elaborate -vhdl -parameter bits 4 -parameter bound 10 -top counter(behavioral)

clock clk
